01204213 Toc 13-3: Polynomial-Time Reduction